filmov
tv
translating english into predicate logic